xen/arm: p2m: Inline p2m_load_VTTBR into p2m_restore_state
authorJulien Grall <julien.grall@arm.com>
Thu, 28 Jul 2016 14:20:17 +0000 (15:20 +0100)
committerStefano Stabellini <sstabellini@kernel.org>
Fri, 29 Jul 2016 00:42:48 +0000 (17:42 -0700)
commitd60cab23548760047f4116e362a42b6a316ed527
treef854716263f1fdef5b5b77be0ec3b7292007caaa
parent69d8e2e0cfb987e6461818695d211d10841a7281
xen/arm: p2m: Inline p2m_load_VTTBR into p2m_restore_state

p2m_restore_state is the last caller of p2m_load_VTTBR and already check
if the vCPU does not belong to the idle domain.

Note that it is likely possible to remove some isb in the function
p2m_restore_state, however this is not the purpose of this patch. So the
numerous isb have been left.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/p2m.c